Michael Mislove: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Вільний доступ до знань та культури

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги (9)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Mathematical Foundations of Information Flow

Mathematical Foundations of Information Flow

American Mathematical Society

Samson Abramsky, Michael Mislove (ed.)

Рік:

2012

Мова:

english

Файл:

PDF, 1.78 MB

0 / 0

english, 2012

2

Topology, Domain Theory and Theoretical Computer Science

Topology, Domain Theory and Theoretical Computer Science

Michael W. Mislove

Рік:

1997

Мова:

english

Файл:

PDF, 531 KB

0 / 0

english, 1997

3

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Mathematical Foundations of Programming Semantics: 7th International Conference Pittsburgh, PA, USA, March 25–28, 1991 Proceedings

Springer-Verlag Berlin Heidelberg

QingMing Ma, John C. Reynolds (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

Рік:

1992

Мова:

english

Файл:

DJVU, 4.91 MB

0 / 0

english, 1992

4

A Compendium of Continuous Lattices

A Compendium of Continuous Lattices

Springer-Verlag Berlin Heidelberg

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)

Рік:

1980

Мова:

english

Файл:

PDF, 25.93 MB

0 / 0

english, 1980

5

The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications

The Pontryagin Duality of Compact O-Dimensional Semilattices and its Applications

Springer-Verlag Berlin Heidelberg

Karl Heinrich Hofmann, Michael Mislove, Albert Stralka (auth.)

Рік:

1974

Мова:

english

Файл:

PDF, 2.31 MB

0 / 0

english, 1974

6

A Compendium of Continuous Lattices

A Compendium of Continuous Lattices

Springer-Verlag Berlin Heidelberg

Gerhard Gierz, Karl Heinrich Hofmann, Klaus Keimel, Jimmie D. Lawson, Michael W. Mislove, Dana S. Scott (auth.)

Рік:

1980

Мова:

english

Файл:

PDF, 37.88 MB

0 / 0

english, 1980

7

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Mathematical Foundations of Programming Semantics: 9th International Conference New Orleans, LA, USA, April 7–10, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

Peter Aczel (auth.), Stephen Brookes, Michael Main, Austin Melton, Michael Mislove, David Schmidt (eds.)

Рік:

1994

Мова:

english

Файл:

DJVU, 5.58 MB

0 / 0

english, 1994

8

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Mislove (auth.), Maurice Nivat (eds.)

Рік:

1998

Мова:

english

Файл:

DJVU, 5.44 MB

0 / 0

english, 1998

9

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Foundations of Software Science and Computation Structures: First International Conference, FoSSaCS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28–April 4, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Michael Mislove (auth.), Maurice Nivat (eds.)

Рік:

1998

Мова:

english

Файл:

PDF, 6.21 MB

0 / 0

english, 1998